@e(xv)
== es-dtype(es; loc(e); x; T) c (((es-when(es; x; e) = v))  (es-after(es; x; e) = v)) 

latex

---

clarification:

es-change-to(es;T;x;e;v)
== es-dtype(es; es-loc(es; e); x; T)
== c (((es-when(es; x; e) = v  T))  (es-after(es; x; e) = v  T)) 

latex

Definitions	A c B, es-dtype(es; i; x; T), loc(e), P  Q, A, es-when(es; x; e), s = t, es-after(es; x; e)
FDL editor aliases	es-change-to